1. Algorithms and computation : 6th International Symposium, ISAAC'95, Cairns, Australia, December 4-6, 1995 : proceedings
Author: John Staples...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer algorithms,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
1004
2. Analytic computational complexity
Author: Symposium on Analytic Computational Complexity, 5791, Carnegie-Mellon University
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Numerical analysis-- Data processing-- Congresses,، Computational complexity-- Congresses
Classification :
QA
297
.
S915
1975
3. Complexity of computation
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
Classification :
QA
267
.
C58
4. Complexity of computation
Author: edited by Richard M. Karp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
Classification :
QA
267
.
C57
5. Complexity of computer computations; proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
Classification :
QA
76
.
6
.
S92
1972
6. Computational and applied mathematics, I
Author: / edited by C. Brezinski, U. Kulisch
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
Classification :
QA
76
.
95
.
C62
1992
7. Computational & applied mathematics,i:algorithms & theory
Author: BREZINSKI,CLAUDE
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MATHEMATICS-DATA PROCESSING-CONGRESSES , NUMERICAL ANALYSIS-DATA PROCESSING-
Classification :
QA
76
.
95
.
C62
1991
8. Computational complexity
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
Classification :
QA
76
.
5
.
C671
1971
9. Computational mathematics, nanoelectronics and astrophysics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Numerical analysis ; Data processing ; Congresses. ;
10. Computer aided proofs in analysis
Author: Kenneth R. Meyer, Dieter S. Schmidt, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Numerical analysis
Classification :
QA
297
.
C638
1991
11. Computer aided proofs in analysis
Author: Kenneth R.Meyer,Dieter S.Schmidt editors
Library: Vali Asr University Central Library (Kerman)
Subject: Numerical analysis-data processing-congresses
Classification :
QA
297
.
C638
12. Computer aided proofs in analysis
پدیدآورنده :
موضوع : ، Numerical analysis-- Data processing-- Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
13. Computer aided proofs in analysis
Author: Kenneth R. Meyer, Dieter S. Schmidt, editors
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Numerical analysis
Classification :
QA
1
.
I52
v
.
28
14. Computer oriented analysis of shell structures: proceedings
Author: edited by Richard F. Hartung
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
Classification :
TA
660
.
S5
C66
1970
15. Computing methods in applied science and engineering, VII
Author: / Edited by R. Glowinski, J. L. Lions
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
Classification :
QA
297
.
I57
1985
16. Computing methods in applied science and engineering, VII
Author: / Edited by R. Glowinski, J. L. Lions
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
Classification :
QA
297
.
I57
1985
17. Computing methods in applied sciences and engineering, 1977, I
Author: / Third International Symposium, December 5-9, 1977
Library: Library of College of Science University of Tehran (Tehran)
Subject: Numerical analysis -- Data processing -- Congresses,Science -- Data processing -- Congresses,Engineering -- Data processing -- Congresses
Classification :
QA
297
.
I5
1977
18. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
Author: Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
Classification :
Q
183
.
9
.
I285
2002
19. Design and implementation of symbolic computation systems :
Author: John Fitch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
20. Design and implementation of symbolic computation systems :
Author: A. Miola, (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
Classification :
QA76
.
9
.
S88
I576
1990
